On theory and practice of Assertion Based Software Development
نویسنده
چکیده
It is common agreement that software engineering can meet its challenges only if disciplined reuse and composition mechanisms can be established in both theory and practice. In this paper we provide a thorough analysis of the percolation pattern and three alternatives to it. As result of this analysis we get that each of these alternative checking strategies ensures behavioral subtyping and therefore good reuse properties. However, none of them allows for modular reasoning due to missing success or failure conformance over class hierarchies.
منابع مشابه
A Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)
Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...
متن کاملExplaining the main factors shaping and establishing leadership of managers: grounded theory method
Introduction: Among human resources, the role of leadership is more privileged and more prominent than others, so it can be said that the success of an organization depends to a large extent on the efficiency of management and leadership. The present study aims to explain the main factors shaping and establishing the creative leadership of managers. Method: This study was carried out within the...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملIrrigation Water Pricing in Iran: The Gap between Theory and Practice
Pricing policies play an important role in water demand management and its optimal allocation. Determining proper water price leads to optimal allocation of water especially in agricultural consumptions. Applying new subsidy targeting law in Iran which insists on pricing water based on its supply cost, will effects considerably on water resource management in agriculture sector. So, in this stu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Object Technology
دوره 4 شماره
صفحات -
تاریخ انتشار 2005